Design of Optimized Petri Net Supervisors for Flexible Manufacture Systems Based on Elementary Siphons

BOOK CHAPTER published 2013 in Formal Methods in Manufacturing Systems

Authors: Mingming Yan

Decompositional Petri Net Reductions

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Astrid Rakow

Petri net based verification of distributed algorithms: An example

JOURNAL ARTICLE published July 1997 in Formal Aspects of Computing

Authors: Ekkart Kindler | Wolfgang Reisig | Hagen Völzer | Rolf Walter

Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows

BOOK CHAPTER published 2002 in Formal Methods and Software Engineering

Authors: Yuyue Du | Changjun Jiang

RESTful Petri Net Execution

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Gero Decker | Alexander Lüders | Hagen Overdick | Kai Schlichting | Mathias Weske

A Resource-Oriented Petri Net Approach to Scheduling and Control of Time-Constrained Cluster Tools in Semiconductor Fabrication

BOOK CHAPTER published 2013 in Formal Methods in Manufacturing Systems

Authors: NaiQi Wu | MengChu Zhou

Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings

BOOK CHAPTER published 2011 in Lecture Notes in Computer Science

Authors: Matthias Weidlich | Felix Elliger | Mathias Weske

Petri net based interface analysis for fast IP-core integration

PROCEEDINGS ARTICLE published 2003 in First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.

Authors: J.A. de Oliveira Filho | M.E. de Lima | P.R. Maciel

From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models: A Graph Transformation Based Approach for Modelling and Analysis of Business Processes in Virtual Enterprises

PROCEEDINGS ARTICLE published December 2009 in 2009 Fourth South-East European Workshop on Formal Methods

Authors: Raida ElMansouri | Allaoua Chaoui | Elhillali Kerkouche | Khaled Khalfaoui

The Description of CORBA Objects Based on Petri Nets

BOOK CHAPTER published 2002 in Formal Methods and Software Engineering

Authors: Hong Zheng | Shi-xian Li

Integrating Specification-Based Review and Testing for Detecting Errors in Programs

BOOK CHAPTER published 2007 in Formal Methods and Software Engineering

Authors: Shaoying Liu

A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF

BOOK CHAPTER published 2015 in Software Engineering and Formal Methods

Authors: José Antonio Mateo | Valentín Valero | Hermenegilda Macià | Gregorio Díaz

A Graph-Based Operational Semantics of OO Programs

BOOK CHAPTER published 2009 in Formal Methods and Software Engineering

Authors: Wei Ke | Zhiming Liu | Shuling Wang | Liang Zhao

A Language-Based Approach to Autonomic Computing

BOOK CHAPTER published 2013 in Formal Methods for Components and Objects

Authors: Rocco De Nicola | Gianluigi Ferrari | Michele Loreti | Rosario Pugliese

On Concept-Based Definition of Domain-Specific Languages

BOOK CHAPTER published 2002 in Formal Methods and Software Engineering

Authors: Ying Liu | Naixiao Zhang

Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra

BOOK CHAPTER published 2002 in Formal Methods and Software Engineering

Authors: Yuan Liu | Baowen Xu | Zhenqiang Chen